encrypt(${\it tab}$;${\it keyv}$) \\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$let $K$,$p$,$f$ = ${\it tab}$ in $<$$K$, $p$+1, if $p$ $<$z $K$ then $f$[$p$:=$<$($f$($p$)).1, ${\it keyv}$$>$] else $f$ fi $>$